翻訳と辞書
Words near each other
・ hdd
・ hdf
・ hdfl
・ hdl
・ hdlc
・ hdm
・ hdsl
・ hdtv
・ hdx
・ head disk assembly
head normal form
・ head normalisation theorem
・ head-strict
・ header
・ heads down
・ heap
・ heartbeat
・ heat sink
・ heat slug
・ heatseeker


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

head normal form : FOLDOC
Head Normal Form
(HNF) A term describing a lambda expression whose top level is either a variable, a data value, a built-in function applied to too few arguments, or a lambda abstraction whose body is not reducible. I.e. the top level is neither a redex nor a lambda abstraction with a reducible body.
An expression in HNF may contain redexes in argument postions whereas a normal form may not.
Compare Weak Head Normal Form.
(2003-01-08)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.